COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	2. books know but don't think.
C00004 ENDMK
C⊗;
2. books know but don't think.

3. We are plunging ahead and ascribing lots of mental properties.
We may have to take some back, but we won't listen to general
advice to be more cautious - only to criticisms of the legitimacy
of particular definiitions.

4. Some sections - widespread mental properties, higher mental
properties, mental qualities associated with human motivational
structure, hard cases.

5. precise axiomatization of belief

The motivation for this paper comes from the fact that for AI
we must solve problems for machines that were said to arise
only for people, e.g. the machine must be able to say, "I
can, but I won't."

6. The point is dereduction.  We do it all the time in computation
where the circuit leads to the order code, etc., but in general
dereduction is only partial and  leads to an indeterminate
machine so that we have to think at the basic level also.

7. Philosophical modesty.  We are unhappy but not devastated
by counterexamples in which our ascriptions of belief disagree
with intuition.  We don't now hope for a once-and-for-all
definition of belief, but only a definition good enough for
an interesting collection of cases.